Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
Boolean occurs check unification NOR two-valued logic Boolean search guard satisfiability problem NAND Boolean algebra complete unification Constraint Handling In Prolog Boolean logic logical complement HASL logic gate bitwise Han character fuzzy logic weighted search logic George Boole SETS operator bool NOT unify Han Unification PHOCUS Fresh truth table Quty algebraic structure OR negation by failure implies AND logic programming GAPLog SFLV QPE unifier constant folding narrowing most general unifier FUNLOG constraint built-in gate ISL Prolog-III System Control Language search term TABLOG HiLog enumerated type principal type Arithmetic and Logic Unit Constraint Logic Programming Extended Self-containing Prolog more...